#include<stdio.h>
void main(){
	int a;
	for(a=1000;a>=0;a--)
	{
		if(a%7==0)
		{
			printf("%d\t",a);
		}
	}
}
